(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     35930,       1192]
NotebookOptionsPosition[     30993,       1043]
NotebookOutlinePosition[     34100,       1128]
CellTagsIndexPosition[     33975,       1122]
WindowTitle->ScalarProductCancel
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"ApartFF\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/ApartFF"], "\<\"FCClearScalarProducts\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/FCClearScalarProducts"], "\<\"ExpandScalarProduct\
\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/ExpandScalarProduct"], "\<\"Pair\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/Pair"], "\<\"SP\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/SP"], "\<\"SPC\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/SPC"], "\<\"SPD\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/SPD"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/ScalarProductCancel\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/ScalarProductCancel"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
ScalarProductCancel.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$226886], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/ScalarProductCancel", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["ScalarProductCancel", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"ScalarProductCancel", "[", 
       RowBox[{"exp", ",", " ", "q1", ",", " ", "q2", ",", " ", "..."}], 
       "]"}]], "InlineFormula"],
     " \[LineSeparator]",
     "cancels scalar products with propagators. ScalarProductCancel[exp] \
cancels simple cases."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1488643257],

Cell["", "SectionHeaderSpacer"],

Cell["\<\
ScalarProductCancel is deprecated, please use the more powerful ApartFF \
instead!\
\>", "Notes",
 CellID->1067943069],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "ScalarProductCancel", "]"}]], "Input",
 CellTags->"ScalarProductCancel",
 CellLabel->"In[1]:=",
 CellID->183152643],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"ChangeDimension", "\[Rule]", "D"}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynAmpDenominatorSimplify", "\[Rule]", "True"}], ",", 
    RowBox[{"FeynAmpDenominatorCombine", "\[Rule]", "True"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{475, 35},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"ScalarProductCancel",
 CellLabel->"Out[1]=",
 CellID->55006305]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->28717783],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1468073987],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"SPD", "[", 
   RowBox[{"q", ",", "p"}], "]"}], " ", 
  RowBox[{"FAD", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"q", ",", "m"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"q", "-", "p"}], ",", "0"}], "}"}]}], "]"}]}]], "Input",
 CellTags->"ScalarProductCancel",
 CellLabel->"In[1]:=",
 CellID->2001963960],

Cell[BoxData[
 FormBox[
  FractionBox[
   FormBox[
    RowBox[{
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm], 
     FormBox["\<\"\[CenterDot]\"\>",
      TraditionalForm], 
     FormBox[
      FormBox["q",
       TraditionalForm],
      TraditionalForm]}],
    TraditionalForm], 
   RowBox[{
    RowBox[{"(", 
     InterpretationBox[
      RowBox[{
       SuperscriptBox[
        FormBox[
         FormBox["q",
          TraditionalForm],
         TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
       "\[InvisibleSpace]", 
       SuperscriptBox["m", "2"]}],
      SequenceForm[
       FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`q, D], 
        FeynCalc`Momentum[$CellContext`q, D]], "-", $CellContext`m^2],
      Editable->False], ")"}], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["q",
           TraditionalForm], "-", 
          FormBox["p",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[
       FeynCalc`Momentum[-$CellContext`p + $CellContext`q, D], 
       FeynCalc`Momentum[-$CellContext`p + $CellContext`q, D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{144, 39},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"ScalarProductCancel",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"ScalarProductCancel", "[", 
  RowBox[{"%", ",", "q"}], "]"}]], "Input",
 CellTags->"ScalarProductCancel",
 CellLabel->"In[2]:=",
 CellID->704586696],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    FractionBox[
     RowBox[{
      SuperscriptBox["m", "2"], "+", 
      SuperscriptBox[
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm], "2"]}], 
     RowBox[{"2", " ", 
      RowBox[{
       InterpretationBox[
        SuperscriptBox[
         FormBox[
          FormBox["q",
           TraditionalForm],
          TraditionalForm], "2"],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`q, D], 
          FeynCalc`Momentum[$CellContext`q, D]]],
        Editable->False], ".", 
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           RowBox[{
            FormBox["\<\"(\"\>",
             TraditionalForm], 
            FormBox[
             FormBox[
              RowBox[{
               FormBox["q",
                TraditionalForm], "-", 
               FormBox["p",
                TraditionalForm]}],
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\")\"\>",
             TraditionalForm]}], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          
          FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
           FeynCalc`Momentum[$CellContext`q, D], -
            FeynCalc`Momentum[$CellContext`p, D] + 
           FeynCalc`Momentum[$CellContext`q, D]], "-", $CellContext`m^2],
         Editable->False], ")"}]}]}]],
    TraditionalForm], "-", 
   FormBox[
    FractionBox["1", 
     RowBox[{"2", " ", 
      RowBox[{"(", 
       InterpretationBox[
        RowBox[{
         SuperscriptBox[
          FormBox[
           FormBox["q",
            TraditionalForm],
           TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
         "\[InvisibleSpace]", 
         SuperscriptBox["m", "2"]}],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`q, D], 
          FeynCalc`Momentum[$CellContext`q, D]], "-", $CellContext`m^2],
        Editable->False], ")"}]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{253, 46},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"ScalarProductCancel",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{" ", 
  RowBox[{
   RowBox[{
    RowBox[{"SPD", "[", 
     RowBox[{"q2", ",", "p"}], "]"}], 
    RowBox[{"SPD", "[", 
     RowBox[{"q1", ",", "p"}], "]"}], " ", 
    RowBox[{"FAD", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"q1", ",", "m"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"q2", ",", "m"}], "}"}], ",", 
      RowBox[{"q1", "-", "p"}], ",", 
      RowBox[{"q2", "-", "p"}], ",", 
      RowBox[{"q2", "-", "q1"}]}], "]"}]}], "//", "FCI"}]}]], "Input",
 CellTags->"ScalarProductCancel",
 CellLabel->"In[3]:=",
 CellID->360584001],

Cell[BoxData[
 FormBox[
  FractionBox[
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["q1",
        TraditionalForm],
       TraditionalForm]}], ")"}], " ", 
    RowBox[{"(", 
     RowBox[{
      FormBox[
       FormBox["p",
        TraditionalForm],
       TraditionalForm], 
      FormBox["\<\"\[CenterDot]\"\>",
       TraditionalForm], 
      FormBox[
       FormBox["q2",
        TraditionalForm],
       TraditionalForm]}], ")"}]}], 
   RowBox[{
    RowBox[{"(", 
     InterpretationBox[
      RowBox[{
       SuperscriptBox[
        FormBox[
         FormBox["q1",
          TraditionalForm],
         TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
       "\[InvisibleSpace]", 
       SuperscriptBox["m", "2"]}],
      SequenceForm[
       FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`q1, D], 
        FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
      Editable->False], ")"}], ".", 
    RowBox[{"(", 
     InterpretationBox[
      RowBox[{
       SuperscriptBox[
        FormBox[
         FormBox["q2",
          TraditionalForm],
         TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
       "\[InvisibleSpace]", 
       SuperscriptBox["m", "2"]}],
      SequenceForm[
       FeynCalc`Pair[
        FeynCalc`Momentum[$CellContext`q2, D], 
        FeynCalc`Momentum[$CellContext`q2, D]], "-", $CellContext`m^2],
      Editable->False], ")"}], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["q1",
           TraditionalForm], "-", 
          FormBox["p",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
       FeynCalc`Momentum[$CellContext`q1, D], -
        FeynCalc`Momentum[$CellContext`p, D] + 
       FeynCalc`Momentum[$CellContext`q1, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["q2",
           TraditionalForm], "-", 
          FormBox["p",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
       FeynCalc`Momentum[$CellContext`q2, D], -
        FeynCalc`Momentum[$CellContext`p, D] + 
       FeynCalc`Momentum[$CellContext`q2, D]]],
     Editable->False], ".", 
    InterpretationBox[
     SuperscriptBox[
      RowBox[{
       FormBox["\<\"(\"\>",
        TraditionalForm], 
       FormBox[
        FormBox[
         RowBox[{
          FormBox["q2",
           TraditionalForm], "-", 
          FormBox["q1",
           TraditionalForm]}],
         TraditionalForm],
        TraditionalForm], 
       FormBox["\<\")\"\>",
        TraditionalForm]}], "2"],
     SequenceForm[
      FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`q1, D] + 
       FeynCalc`Momentum[$CellContext`q2, D], -
        FeynCalc`Momentum[$CellContext`q1, D] + 
       FeynCalc`Momentum[$CellContext`q2, D]]],
     Editable->False]}]], TraditionalForm]], "Output",
 ImageSize->{376, 43},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"ScalarProductCancel",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SPC", "[", 
  RowBox[{"%", ",", "q1", ",", "q2", ",", 
   RowBox[{"FDS", "\[Rule]", "True"}]}], "]"}]], "Input",
 CellTags->"ScalarProductCancel",
 CellLabel->"In[4]:=",
 CellID->1734687931],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    FractionBox[
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{
        SuperscriptBox["m", "2"], "+", 
        SuperscriptBox[
         FormBox[
          FormBox["p",
           TraditionalForm],
          TraditionalForm], "2"]}], ")"}], "2"], 
     RowBox[{"4", " ", 
      RowBox[{
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q1",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q1, D], 
           FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q2",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q2, D], 
           FeynCalc`Momentum[$CellContext`q2, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["p",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q1, D], -
           FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q1, D]]],
        Editable->False], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["q2",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q2",
              TraditionalForm], "-", 
             FormBox["p",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q2, D], -
           FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False]}]}]],
    TraditionalForm], "+", 
   FormBox[
    FractionBox[
     RowBox[{
      SuperscriptBox["m", "2"], "+", 
      SuperscriptBox[
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm], "2"]}], 
     RowBox[{"2", " ", 
      RowBox[{
       InterpretationBox[
        SuperscriptBox[
         FormBox[
          FormBox["q1",
           TraditionalForm],
          TraditionalForm], "2"],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`q1, D], 
          FeynCalc`Momentum[$CellContext`q1, D]]],
        Editable->False], ".", 
       InterpretationBox[
        SuperscriptBox[
         FormBox[
          FormBox["q2",
           TraditionalForm],
          TraditionalForm], "2"],
        SequenceForm[
         FeynCalc`Pair[
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False], ".", 
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           RowBox[{
            FormBox["\<\"(\"\>",
             TraditionalForm], 
            FormBox[
             FormBox[
              RowBox[{
               FormBox["q1",
                TraditionalForm], "-", 
               FormBox["p",
                TraditionalForm]}],
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\")\"\>",
             TraditionalForm]}], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          
          FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
           FeynCalc`Momentum[$CellContext`q1, D], -
            FeynCalc`Momentum[$CellContext`p, D] + 
           FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["q2",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False]}]}]],
    TraditionalForm], "-", 
   FormBox[
    FractionBox[
     RowBox[{
      SuperscriptBox["m", "2"], "+", 
      SuperscriptBox[
       FormBox[
        FormBox["p",
         TraditionalForm],
        TraditionalForm], "2"]}], 
     RowBox[{"2", " ", 
      RowBox[{
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q1",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q1, D], 
           FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q2",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q2, D], 
           FeynCalc`Momentum[$CellContext`q2, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["p",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q1, D], -
           FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q1, D]]],
        Editable->False], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["q2",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False]}]}]],
    TraditionalForm], "-", 
   FormBox[
    FractionBox["1", 
     RowBox[{"2", " ", 
      RowBox[{
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q1",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q1, D], 
           FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["q2",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q2",
              TraditionalForm], "-", 
             FormBox["p",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[-FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q2, D], -
           FeynCalc`Momentum[$CellContext`p, D] + 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False]}]}]],
    TraditionalForm], "+", 
   FormBox[
    FractionBox["1", 
     RowBox[{"4", " ", 
      RowBox[{
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q1",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q1, D], 
           FeynCalc`Momentum[$CellContext`q1, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       RowBox[{"(", 
        InterpretationBox[
         RowBox[{
          SuperscriptBox[
           FormBox[
            FormBox["q2",
             TraditionalForm],
            TraditionalForm], "2"], "\[InvisibleSpace]", "\<\"-\"\>", 
          "\[InvisibleSpace]", 
          SuperscriptBox["m", "2"]}],
         SequenceForm[
          FeynCalc`Pair[
           FeynCalc`Momentum[$CellContext`q2, D], 
           FeynCalc`Momentum[$CellContext`q2, D]], "-", $CellContext`m^2],
         Editable->False], ")"}], ".", 
       InterpretationBox[
        SuperscriptBox[
         RowBox[{
          FormBox["\<\"(\"\>",
           TraditionalForm], 
          FormBox[
           FormBox[
            RowBox[{
             FormBox["q1",
              TraditionalForm], "-", 
             FormBox["q2",
              TraditionalForm]}],
            TraditionalForm],
           TraditionalForm], 
          FormBox["\<\")\"\>",
           TraditionalForm]}], "2"],
        SequenceForm[
         FeynCalc`Pair[
         FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D], 
          FeynCalc`Momentum[$CellContext`q1, D] - 
          FeynCalc`Momentum[$CellContext`q2, D]]],
        Editable->False]}]}]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{503, 206},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"ScalarProductCancel",
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["ApartFF",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/ApartFF",
  ButtonNote->"ApartFF"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["FCClearScalarProducts",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/FCClearScalarProducts",
  ButtonNote->"FCClearScalarProducts"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["ExpandScalarProduct",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/ExpandScalarProduct",
  ButtonNote->"ExpandScalarProduct"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["Pair",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Pair",
  ButtonNote->"Pair"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["SP",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SP",
  ButtonNote->"SP"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["SPC",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SPC",
  ButtonNote->"SPC"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["SPD",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/SPD",
  ButtonNote->"SPD"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"ScalarProductCancel",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 10, 11.481762}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "ScalarProductCancel[exp, q1, q2, ...] cancels scalar products with \
propagators. ScalarProductCancel[exp] cancels simple cases.", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "ScalarProductCancel", 
    "titlemodifier" -> "", "windowtitle" -> "ScalarProductCancel", "type" -> 
    "Symbol", "uri" -> "FeynCalc/ref/ScalarProductCancel"}, 
  "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "ScalarProductCancel"->{
  Cell[5969, 175, 155, 4, 27, "Input",
   CellTags->"ScalarProductCancel",
   CellID->183152643],
  Cell[6127, 181, 555, 15, 56, "Output",
   CellTags->"ScalarProductCancel",
   CellID->55006305],
  Cell[7375, 232, 364, 13, 27, "Input",
   CellTags->"ScalarProductCancel",
   CellID->2001963960],
  Cell[7742, 247, 1565, 57, 60, "Output",
   CellTags->"ScalarProductCancel"],
  Cell[9344, 309, 172, 5, 27, "Input",
   CellTags->"ScalarProductCancel",
   CellID->704586696],
  Cell[9519, 316, 2324, 76, 67, "Output",
   CellTags->"ScalarProductCancel"],
  Cell[11880, 397, 579, 19, 27, "Input",
   CellTags->"ScalarProductCancel",
   CellID->360584001],
  Cell[12462, 418, 3702, 129, 64, "Output",
   CellTags->"ScalarProductCancel"],
  Cell[16201, 552, 214, 6, 27, "Input",
   CellTags->"ScalarProductCancel",
   CellID->1734687931],
  Cell[16418, 560, 13015, 412, 227, "Output",
   CellTags->"ScalarProductCancel"]},
 "PrimaryExamplesSection"->{
  Cell[6743, 203, 386, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->28717783]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"ScalarProductCancel", 32886, 1088},
 {"PrimaryExamplesSection", 33833, 1115}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[591, 21, 3579, 82, 53, "AnchorBarGrid",
 CellID->1],
Cell[4173, 105, 296, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4494, 120, 521, 15, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[5040, 139, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1488643257],
Cell[5782, 165, 31, 0, 14, "SectionHeaderSpacer"],
Cell[5816, 167, 128, 4, 32, "Notes",
 CellID->1067943069],
Cell[CellGroupData[{
Cell[5969, 175, 155, 4, 27, "Input",
 CellTags->"ScalarProductCancel",
 CellID->183152643],
Cell[6127, 181, 555, 15, 56, "Output",
 CellTags->"ScalarProductCancel",
 CellID->55006305]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[6743, 203, 386, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->28717783],
Cell[CellGroupData[{
Cell[7154, 222, 196, 6, 26, "ExampleSection",
 CellID->1468073987],
Cell[CellGroupData[{
Cell[7375, 232, 364, 13, 27, "Input",
 CellTags->"ScalarProductCancel",
 CellID->2001963960],
Cell[7742, 247, 1565, 57, 60, "Output",
 CellTags->"ScalarProductCancel"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9344, 309, 172, 5, 27, "Input",
 CellTags->"ScalarProductCancel",
 CellID->704586696],
Cell[9519, 316, 2324, 76, 67, "Output",
 CellTags->"ScalarProductCancel"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11880, 397, 579, 19, 27, "Input",
 CellTags->"ScalarProductCancel",
 CellID->360584001],
Cell[12462, 418, 3702, 129, 64, "Output",
 CellTags->"ScalarProductCancel"]
}, Open  ]],
Cell[CellGroupData[{
Cell[16201, 552, 214, 6, 27, "Input",
 CellTags->"ScalarProductCancel",
 CellID->1734687931],
Cell[16418, 560, 13015, 412, 227, "Output",
 CellTags->"ScalarProductCancel"]
}, Open  ]]
}, Open  ]],
Cell[29460, 976, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29528, 981, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[29801, 995, 1150, 43, 56, "SeeAlso"]
}, Open  ]],
Cell[30966, 1041, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

